Damien Zufferey Research Interests Programming Languages, Formal Methods, Program Analysis and Verification, and Distributed Systems. Education

Source URL: pub.ist.ac.at

Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540

Source URL: www.cs.princeton.edu

• Model theory
• Formal languages
• Mathematical logic
• Structure
• Universal algebra
• Interpretation
• Relational algebra
• Substitution

arXiv:1506.08030v1 [cs.AI] 26 JunDynamic Bayesian Ontology Languages ˙ ˙ Ismail

Source URL: arxiv.org

• Logic
• Statistics
• Abstraction
• Statistical inference
• Statistical theory
• Reasoning
• Probability theory
• Formal epistemology
• Probabilistic logic
• Bayesian network
• Bayesian inference
• Probability

A Theory of Indirection via Approximation Aquinas Hobor ∗† Robert Dockins† Andrew W. Appel †

Source URL: www.cs.princeton.edu

• Mathematical logic
• Software engineering
• Logic
• Formal languages
• Computability theory
• Models of computation
• Lambda calculus
• Formal methods
• Interpretation
• Syntactic predicate
• System F
• Monad

Argument Optionality: A New Library for the Grammar Matrix Customization System Safiyyah Saleem

Source URL: www.delph-in.net

• Grammar
• Cognitive science
• Syntax
• Linguistics
• Language
• Formal languages
• Generative linguistics
• Compiler construction
• Head-driven phrase structure grammar
• Thesis
• Formal grammar
• Parsing

Staged Self-Assembly and Polyomino Context-Free Grammars? Andrew Winslow?? Department of Computer Science, Tufts University,

Source URL: www.eecs.tufts.edu

• Mathematical games
• Polyforms
• Mathematics
• Polyomino
• Analysis of algorithms
• Formal languages
• Stochastic context-free grammar
• Logarithm
• Best
• worst and average case

DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton

Source URL: chrisseaton.com

• Software
• Computing
• Parsing algorithms
• Compiler construction
• Formal languages
• Parser generators
• Parsing
• Compiler-compiler
• Syntax
• Programming language
• Compiler
• Yacc

Vector Space Semantic Parsing: A Framework for Compositional Vector Space Models Jayant Krishnamurthy Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213

Source URL: rtw.ml.cmu.edu

• Computational linguistics
• Semantics
• Grammar
• Type theory
• Formal languages
• Parsing
• Distributional semantics
• Syntactic category
• Argument
• Categorial grammar
• Dependency grammar
• Combinatory categorial grammar

Compositional CompCert Andrew W. Appel tifact * Complete

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Software
• Logic in computer science
• Formal methods
• Compiler construction
• Cross-platform software
• Object-oriented programming languages
• Stack
• Semantics
• Optimizing compiler
• Operational semantics

1 Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Electrical Engineering

Source URL: paradise.caltech.edu

• Formal languages
• Combinatorics
• Combinatorics on words
• Mathematics
• Discrete mathematics
• Finite automata
• String
• Alphabet
• Regular expression
• Regular language
• Tandem Computers